The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·32m·
Discuss: DEV
📏Code Metrics
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
Proving that every program halts
ntietz.com·2d
👑Isabelle
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·5h
📞Session Types
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·2h
🦠Malware Analysis
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
The Guide to the Foundation Models Framework
azamsharp.com·1h·
Discuss: Hacker News
λLambda Formalization
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
daily quizzz
dev.to·1h·
Discuss: DEV
λLambda Encodings
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2h·
Discuss: Hacker News
🔗Constraint Handling
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·6h·
Discuss: DEV
⚡Performance Tools